数学的帰納法

すうがくてききのうほう【数学的帰納法】

自然数 n に関する命題において， (1)この命題が n＝1 のとき成立し， (2) n＝k のとき成立すると仮定すれば n＝k＋1 のときにも成立する， という二つの事柄を証明できるとき， この命題はすべての自然数 n について成立する， と結論する証明法。